Belief Change with Noisy Sensing and Introspection
نویسنده
چکیده
We model belief change due to noisy sensing, and belief introspection in the framework of the situation calculus. We give some properties of our axiomatization and show that it does not suffer from the problems with combining sensing, introspection, and plausibility update described in Shapiro et al. [2000].
منابع مشابه
Belief change with noisy sensing in the situation calculus
Situation calculus has been applied widely in artificial intelligence to model and reason about actions and changes in dynamic systems. Since actions carried out by agents will cause constant changes of the agents’ beliefs, how to manage these changes is a very important issue. Shapiro et al. [22] is one of the studies that considered this issue. However, in this framework, the problem of noisy...
متن کاملKnowledge , Belief , and Noisy Sensing in the Situation Calculus
Knowledge, Belief, and Noisy Sensing in the Situation Calculus Patricio D. Simari Master of Science Graduate Department of Computer Science University of Toronto 2004 The extension to the situation calculus presented by Bacchus et al. formalizes the concept of noisy actions and shows how an agent can update its beliefs, which are modeled probabilistically, when relying on noisy sensors and effe...
متن کاملReasoning about Probabilities in Unbounded First-Order Dynamical Domains
When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of belief and action to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief and, in particular, how such beliefs should evolve in the presence of noisy sensing and acting is t...
متن کاملExplorer Reasoning about Probabilities in Unbounded First - Order
When it comes to robotic agents operating in an uncertain world, a major concern in knowledge representation is to better relate high-level logical accounts of belief and action to the low-level probabilistic sensorimotor data. Perhaps the most general formalism for dealing with degrees of belief and, in particular, how such beliefs should evolve in the presence of noisy sensing and acting is t...
متن کاملIterated Belief Change in the Situation Calculus
The ability to reason about action and change has long been considered a necessary component for any intelligent system. Many proposals have been offered in the past to deal with this problem. In this paper, we offer a new approach to belief change associated with performing actions that addresses some of the shortcomings of these approaches. In particular, our approach is based on a well-devel...
متن کامل